Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
121	UNITED STATES DEPARTMENT OF AGRICULTURE Rural Development Utilities Programs BULLETIN 1724E-206 SUBJECT: Guide Specification for Spun, Prestressed Concrete Poles and Concrete Pole Structures TO: All Electric Borrowers Add to Reading List Source URL: www.coldrocks.com Language: English - Date: 2013-10-23 16:40:03 Building materials Engineering Concrete Masonry Pavements Prestressed concrete Structural load Specification Formal specification Construction Architecture Structural engineering
122	UNITED STATES DEPARTMENT OF AGRICULTURE Rural Development Utilities Programs BULLETIN 1724E-206 SUBJECT: Guide Specification for Spun, Prestressed Concrete Poles and Concrete Pole Structures TO: All Electric Borrowers Add to Reading List Source URL: www.coldrocks.com Language: English - Date: 2015-02-09 11:50:55 Building materials Engineering Concrete Masonry Pavements Prestressed concrete Structural load Specification Formal specification Construction Architecture Structural engineering
123	Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Decomposition Software design Formal specification Technology Correctness Specification Verification Formal verification Formal methods Theoretical computer science Applied mathematics
124	MkImage Specification† Version 0.2 Jonathan Shapiro, Ph.D. The EROS Group, LLC. February 26, 2007 Add to Reading List Source URL: www.coyotos.org Language: English - Date: 2014-08-13 02:08:56 Formal languages Expr Map Regular expression ECL programming language C Comparison of Pascal and C Tiny programming language Computing Software engineering Computer programming
125	A Tiny Specification Metalanguage Walter Wilson, Yu Lei Dept. of Computer Science and Engineering, The University of Texas at Arlington Arlington, Texas 76019, USA [removed], [removed] Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2012-06-25 15:11:07 Lisp programming language Model theory Mathematical logic Formal languages Functional languages Prolog First-order logic Lisp Logic programming Software engineering Logic Computing
126	Presented at EuroSys Doctoral Workshop 2012, Bern, Switzerland. Towards a Fully Verified File System Sidney Amani Leonid Ryzhyk Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Disk file systems Applied mathematics Logic in computer science Formal verification Formal specification Specification File system Inode Proof assistant Formal methods Computing Theoretical computer science
127	Convergence Refinement Murat Demirbas Anish Arora Department of Computer and Information Science Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2007-11-26 13:31:19 Fault-tolerant computer systems Self-stabilization Formal specification Vector space Algorithm Algebra Mathematics Formal methods
128	Automatic Programming Using Axiomatic Language Walter W. Wilson & Yu Lei, The Univ. of Texas at Arlington This grand challenge seeks to improve programmer productivity and software reliability. We assert that the ideal p Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2013-01-14 11:58:09 Computer programming Formal specification Programming language Specification C Software development process Ada Algorithm Axiomatic system Computing Formal methods Software engineering
129	Formally Verifying Human-automation Interaction with Specification Properties Generated from Task Analytic Models Add to Reading List Source URL: iaassconference2013.space-safety.org Language: English - Date: 2013-06-23 12:43:35 Applied mathematics Knowledge Software engineering Model checking Verification Formal verification Human factors Formal specification Software development process Formal methods Science Systems engineering
130	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:15 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing

UPDATE